Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
371	A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies ∗ Kalev Kask and Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-04-25 16:34:08 Applied mathematics Decomposition method Constraint optimization Search algorithm A* search algorithm Constraint satisfaction problem Local search Heuristic function Constraint satisfaction Mathematics Theoretical computer science Constraint programming
372	Constraints Journal [Preprint] manuscript No. (will be inserted by the editor) Balancing Bike Sharing Systems with Constraint Programming Luca Di Gaspero · Andrea Rendl · Add to Reading List Source URL: andrearendl.com Language: English - Date: 2014-02-09 20:07:47 Network flow Applied mathematics FO Finite model theory Bicycle sharing system Flow network Theoretical computer science Constraint programming Software engineering
373	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
374	g01 – Simple Calculations on Statistical Data g01ftc NAG C Library Function Document nag_deviates_landau (g01ftc) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Science Applied mathematics Information theory Knowledge Constraint logic programming Computational science Numerical analysis Interpolation
375	Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems Jonathan P. Pearce and Milind Tambe∗ University of Southern California Computer Science Department {, tambe@usc Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 04:00:37 Applied mathematics Operations research Distributed constraint optimization Convex optimization Computational complexity theory Constraint satisfaction problem Linear programming Constraint optimization Combinatorial optimization Constraint programming Mathematical optimization Theoretical computer science
376	Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM-CNRS Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Local consistency Constraint satisfaction Interval graph Linear programming Intersection graph Decomposition method Median graph Constraint programming Graph theory Theoretical computer science
377	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
378	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
379	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence
380	Unifying Cluster-Tree Decompositions for Reasoning in Graphical models∗ Kalev Kask∗ , Rina Dechter∗ , Javier Larrosa∗∗ and Avi Dechter∗∗∗ ∗ Bren School of Information and Computer Science, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-04-17 02:08:23 Constraint graph Tree decomposition Bayesian network Graphical model Constraint satisfaction Directed acyclic graph Graph Local consistency Complexity of constraint satisfaction Graph theory Constraint programming Decomposition method

UPDATE